Связанные понятия
«Тогда́ и то́лько тогда ́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение...
Дели́мость — одно из основных понятий арифметики и теории чисел, связанное с операцией деления. С точки зрения теории множеств, делимость целых чисел является отношением, определённым на множестве целых чисел.
Полный квадрат или квадратное число — число, являющееся квадратом некоторого целого числа. Иными словами, квадратом является целое число, квадратный корень которого тоже целый.
В математике,
несократимая дробь (также приведённая дробь) — дробь, которую невозможно сократить. Иначе говоря, значение несократимой дроби не допускает более простое представление в виде дроби. В случае обыкновенных дробей «более простое» означает: с меньшим (но натуральным) знаменателем.
Евклидово кольцо — общеалгебраическое кольцо, в котором существует аналог алгоритма Евклида.
В теории чисел гладким числом называется целое число, все простые делители которого малы.
Подробнее: Гладкое число
Математическая константа или математическая постоянная — величина, значение которой не меняется; в этом она противоположна переменной. В отличие от физических постоянных, математические постоянные определены независимо от каких бы то ни было физических измерений.
Обра́тный элеме́нт — термин в общей алгебре, обобщающий понятия обратного числа (для умножения) и противоположного числа (для сложения).
Одноро́дный многочле́н — многочлен, все одночлены которого имеют одинаковую полную степень. Любая алгебраическая форма является однородным многочленом. Квадратичная форма задается однородным многочленом второй степени, бинарная форма - однородным многочленом любой степени от двух переменных.
Числовая последовательность (ранее в русскоязычной математической литературе встречался термин вариа́нта, принадлежащий Ш. Мерэ) — это последовательность элементов числового пространства.
Нейтра́льный элеме́нт бинарной операции — элемент, который оставляет любой другой элемент неизменным при применении этой бинарной операции к этим двум элементам.
Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).
Одночлен (также моном) — простое математическое выражение, прежде всего рассматриваемое и используемое в элементарной алгебре, а именно, произведение, состоящее из числового множителя и одной или нескольких переменных, взятых каждая в неотрицательной целой степени .
Факторкольцо ́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.
В математическом анализе, и прилегающих разделах математики, ограниченное множество — множество, которое в определенном смысле имеет конечный размер. Базовым является понятие ограниченности числового множества, которое обобщается на случай произвольного метрического пространства, а также на случай произвольного частично упорядоченного множества. Понятие ограниченности множества не имеет смысла в общих топологических пространствах, без метрики.
Подробнее: Ограниченное множество
Группа классов идеалов дедекиндова кольца — это, грубо говоря, группа, позволяющая сказать, насколько сильно в данном кольце нарушается свойство факториальности. Эта группа тривиальна тогда и только тогда, когда дедекиндово кольцо является факториальным. Свойства дедекиндова кольца, касающиеся умножения его элементов, тесно связаны с устройством этой группы.
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел.
Целые
числа называются взаимно простыми, если они не имеют никаких общих делителей, кроме ±1.
Коммутант в общей алгебре — подсистема алгебр, содержащих групповую структуру (подгруппа, подкольцо, в наиболее общем случае — подгруппа мультиоператорной группы), показывающая степень некоммутативности групповой операции.
Праймориал (англ. Primorial, иногда именуется также «примориал») — в теории чисел функция над рядом натуральных чисел, схожая с функцией факториала, с разницей в том, что праймориал является последовательным произведением простых чисел, меньших или равных данному, в то время как факториал является последовательным произведением всех натуральных чисел, меньших или равных данному.
Скорость сходимости является основной характеристикой численных методов решения уравнений и оптимизации.
Полукольцо — общеалгебраическая структура, похожая на кольцо, но без требования существования противоположного по сложению элемента.
В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...
Область целостности (или целостное кольцо, или область цельности или просто область) — понятие коммутативной алгебры: ассоциативное коммутативное кольцо с единицей (нейтральным элементом относительно умножения) и без делителей нуля (произведение никакой пары ненулевых элементов не равно 0).
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Треуго́льная ма́трица — в линейной алгебре квадратная матрица, у которой все элементы, стоящие ниже (или выше) главной диагонали, равны нулю.
Характеристика (кольца или поля) — числовая величина, используемая в общей алгебре для описания некоторых свойств этих...
Система уравнений — это условие, состоящее в одновременном выполнении нескольких уравнений относительно нескольких (или одной) переменных.
Элементарные функции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций...
В линейной алгебре линейная зависимость — это свойство, которое может иметь подмножество линейного пространства. При линейной зависимости существует нетривиальная линейная комбинация элементов этого множества, равная нулевому элементу. При отсутствии такой комбинации, то есть, когда коэффициенты единственной такой линейной комбинации равны нулю, множество называется линейно независимым.
Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Норма — функционал, заданный на векторном пространстве и обобщающий понятие длины вектора или абсолютного значения числа.
Мультимножество в математике — обобщение понятия множества, допускающее включение одного и того же элемента по нескольку раз. Число элементов в мультимножестве, с учётом повторяющихся элементов, называется его размером или мощностью.
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...
Инволюция (от лат. involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе.
Едини́чная ма́трица — квадратная матрица, элементы главной диагонали которой равны единице поля, а остальные равны нулю.
Треугольник Паскаля — бесконечная таблица биномиальных коэффициентов, имеющая треугольную форму. В этом треугольнике на вершине и по бокам стоят единицы. Каждое число равно сумме двух расположенных над ним чисел. Строки треугольника симметричны относительно вертикальной оси. Назван в честь Блеза Паскаля. Числа, составляющие треугольник Паскаля, возникают естественным образом в алгебре, комбинаторике, теории вероятностей, математическом анализе, теории чисел.
Интегра́л Ри́мана — одно из важнейших понятий математического анализа. Введён Бернхардом Риманом в 1854 году, и является одной из первых формализаций понятия интеграла.
Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.
Частичный предел некоторой последовательности — это предел одной из её подпоследовательностей, если только он существует. Для сходящихся числовых последовательностей частичный предел совпадает с обычным пределом в силу единственности последнего, однако в самом общем случае у произвольной последовательности может быть от нуля до бесконечного числа различных частичных пределов. При этом, если обычный предел характеризует точку, к которой элементы последовательности приближаются с ростом номера, то...
Конечная разность — математический термин, широко применяющийся в методах вычисления при интерполировании.
Подробнее: Конечные разности
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.